Commiting Assumptions
Commiting Instruction