take AltGraph(# the carrier of (EnsCat {{}}), the Arrows of (EnsCat {{}}) #) ; :: thesis: ( AltGraph(# the carrier of (EnsCat {{}}), the Arrows of (EnsCat {{}}) #) is functional & AltGraph(# the carrier of (EnsCat {{}}), the Arrows of (EnsCat {{}}) #) is strict )
thus ( AltGraph(# the carrier of (EnsCat {{}}), the Arrows of (EnsCat {{}}) #) is functional & AltGraph(# the carrier of (EnsCat {{}}), the Arrows of (EnsCat {{}}) #) is strict ) ; :: thesis: verum