ParentFull threaddivbzero·It worked for me on the second try. The lines had to connect just right.Empty set ∅ and therefore ∴ worked for me too.View on HN