take MaxConstrSign ; :: thesis: ( MaxConstrSign is initialized & MaxConstrSign is standardized & MaxConstrSign is strict )
thus ( MaxConstrSign is initialized & MaxConstrSign is standardized & MaxConstrSign is strict ) ; :: thesis: verum