Alan Turing (25)

Non turing-complete statements, except for this one.

Joined 2017 M06