delete uncalled adjoin-term
add comments for solution