10 Commandments in f#318018