Backward reasoning the formation rules