added Coq proof for modal collapse
added LEO-II proof for modal collapse