Completeness with quotients (with a postulate)