Yubikey with naturals instead of multisets
Make iterated function application based on rules, not equations