take EnsCat {{}} ; :: thesis: ( EnsCat {{}} is with_products & EnsCat {{}} is with_coproducts & EnsCat {{}} is strict )
thus ( EnsCat {{}} is with_products & EnsCat {{}} is with_coproducts & EnsCat {{}} is strict ) ; :: thesis: verum