(n)formulaa conventionalized statement expressing some fundamental principle