Backward reasoning the formation rules.

Backward reasoning the formation rules.