types
theoretically you prove everything structurally
—defined Fri, 07 Feb 2025 13:26:26 GMT by chrisamaphone [history]