The original ruleset is exhaustive.

 02:13