removes some cruft and asks some questions about syntax/semantics