# Error in inapplicable
-Fix from Martin and Martin's comments

# Error in Fitch
-Try to fix ((a,b),(c,d)); and 0101 then 1?2-