formal input