annie are you okay
contrapositive actually isnt intuitionistically valid. fix this in ex 1.2 proof
More work on the SIA post. Split some of the post out to a part 2 because part 1 is tooooooo long.