Title: An experimental study in formal discipline