Add Isabelle file for experiments with Modal Collapse
Remove wrong claims
Remove incomplete paragraph
Add Isabelle file for the square of opposition