{} in cobool X by TARSKI:def 2;
hence not cobool X is with_non-empty_elements ; :: thesis: verum