Satisfying Cmf

For Presupposition