diff --git a/README.md b/README.md
index 9131f8b..580a947 100644
--- a/README.md
+++ b/README.md
@@ -30,20 +30,9 @@ Change instructions to support Nix
 riscv64-unknown-elf-objdump -D -b binary -m riscv:rv64 ./rv_tests/hello_world/hello.bin > hello.asm
 ```
 
-
 # TODO
  - [ ] fetch should invoke mem read function
 
-# Organization Thoughts
- - Potential functions
-   1. BitPat -> Opcode
-   2. Opcode -> Fields
-   3. Fields -> Field Vals
-   4. Field Vals -> Reg Vals
-
-# Thoroughness
- - [ ] Check that all forms get used!! Remove unused forms!!
-
 # Grant Notes
  - [ ] Some forms may be redundant(may need to remove some)
 
diff --git a/hs/Execute.hs b/hs/Execute.hs
index 020311c..bd754f5 100644
--- a/hs/Execute.hs
+++ b/hs/Execute.hs
@@ -61,15 +61,15 @@ execute (Opcode opcode addr) = case opcode of
   SLL  (RTypeFields rd _ rs1 rs2 _) ->
     let val1 = extractRegVal rs1
         val2 = extractRegVal rs2
-    in WriteBackGPR rd (val1 `shiftL` fromIntegral (val2 .&. 0x3F))
+    in WriteBackGPR rd (val1 `shiftL` fromIntegral val2)
   SRL  (RTypeFields rd _ rs1 rs2 _) ->
     let val1 = extractRegVal rs1
         val2 = extractRegVal rs2
-    in WriteBackGPR rd (val1 `shiftR` fromIntegral (val2 .&. 0x3F))
+    in WriteBackGPR rd (val1 `shiftR` fromIntegral val2)
   SRA  (RTypeFields rd _ rs1 rs2 _) ->
     let val1 = unpack (pack (extractRegVal rs1) :: BitVector 64) :: Signed 64
         val2 = extractRegVal rs2
-    in WriteBackGPR rd (bitCoerce (val1 `shiftR` fromIntegral (val2 .&. 0x3F)))
+    in WriteBackGPR rd (bitCoerce (val1 `shiftR` fromIntegral val2))
   SLT  (RTypeFields rd _ rs1 rs2 _) ->
     let val1 = unpack (pack (extractRegVal rs1) :: BitVector 64) :: Signed 64
         val2 = unpack (pack (extractRegVal rs2) :: BitVector 64) :: Signed 64
@@ -209,4 +209,4 @@ execute (Opcode opcode addr) = case opcode of
     in if rd /= 0 then WriteBackGPR rd (addr + 4) else Jump (addr + offset)
 
 execute (Decode.DecodeException e addr) = Execute.DecodeException e addr
-execute (Decode.InstructionException e addr) = Execute.InstructionException e addr
\ No newline at end of file
+execute (Decode.InstructionException e addr) = Execute.InstructionException e addr
diff --git a/references.md b/references.md
new file mode 100644
index 0000000..61987ad
--- /dev/null
+++ b/references.md
@@ -0,0 +1 @@
+ * [RISC-V Card](https://www.cs.sfu.ca/~ashriram/Courses/CS295/assets/notebooks/RISCV/RISCV_CARD.pdf)