https://9lib.org/document/6zko408y-constraints-soild-mechanics-application-nonstandard-analysis.html