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