Formal arguments