RULE$ (Explicit)

RULE$ (Explicit)