изпразненото множество, добра логика