added more formal stuff