@icecolbeveridge @AdamCreen I wish I hadn't decided against writing "natural number greater than 1"