def for titlestmt