take [#] E ; :: thesis: not [#] E is proper
thus not [#] E is proper ; :: thesis: verum