Wrote the second half of syn_term