n. It would also be possible to have multiple numbers in a pattern, and compare them in various ways. It is uncertain how practical this would be in Fishgrain. MOSES is good for finding numeric patterns, so it may be better to simply use those patterns inside Fishgrain. The "increased" predicate is added