Rules

laws

repeat0

Rules

repeat1

Rules

repeat2

Rules

rightIdentity

Rules

rightInverse

Rules

run

Ops