Title: Modern tendencies toward formal discipline