Natural Projection as Partial Model Checking