Epistemic_Logic.Maximal_Consistent_Sets