Derive this:

{{current}}

{{candidate.value}}

Success!

1. {{t.value}} [{{t.rule}}]

Reset Undo

Rule 1
xI → xIU Rule 2
Mx → Mxx Rule 3
xIIIy → xUy Rule 4
xUUy → xy

Don't know what to do?
Check out the instructions