theorem :: ABCMIZ_1:39

{*,non_op} misses Constructors