preparing to add matching equalities in obligations

done with Jules