a strong reason to use formalism was simplicity