the Strengthened Liar, the Expressive Strength of Natural Languages, and Regimentation · Study