working on validity edits
finish the validity edits
add a skipped syntactical rule