Julia Programming Language
Non-Contradiction