Comment Comment by gcmrtc This is the opinion of Dykstra: https://www.cs.utexas.edu/users/EWD/ewd08xx/EWD831.PDF parent gcmrtc 3 years ago
