viewing post

i cause Player heavoid to create an object Player heavoid ordinal, and give it the following regulations:

• when heavoid claims to activate this object, then: create an object Player heavoid ordinal 0.

• when this object comes to hold an object Player heavoid ordinal n for an ordinal n, then: create an object Player heavoid ordinal m where m is the successor to n, if not already extant.

• when this object comes to hold all Player heavoid ordinal b for b < a, where a is a limit ordinal, and Player heavoid ordinal a does not exist, then: create an object Player heavoid ordinal a.

after all other relevant actions have resolved, i cause Player heavoid to cause Player heavoid ordinal to cede Player heavoid ordinal w+6 to Player ubq323, removing itself as a holder of Player heavoid ordinal w+6.