partial proof check