Interesting logic.
exist
,
none
,
proof
,
therefore