Updated algorithm for property found during justification.