Add specs for proposition and contradiction
Remove needless to_a call
Remove unused default