Mo props mo problems
Removed unnecessary condition in implication
Added prop for move
Prettied up a prop, added vital comment
prop_move needs some additional work
Print added
Made some minor changes
Added fancy ass show for board