fixed method call
described is_congruent_with, a style fix and a method call fix