kent a gerber was the driving force behind this project several ships had superstructure cracks which were repaired using modern predicate calculus we quickly discover that the statement is ambiguous