Repaired constant names
Excised the chord predicate