You can show this is possible, but it is extremely onerous in comparison.
see also:
https://wiki.c2.com/?GreenspunsTenthRuleOfProgramming
see also:
https://wiki.c2.com/?GreenspunsTenthRuleOfProgramming