Full threadjk4930·In the same spirit, why 2 + 2 = 4.https://us.metamath.org/mpeuni/mmset.html#triviahttps://us.metamath.org/mpeuni/2p2e4.htmlView on HN