in explaining why we fail for reflexivity of the up-to trans relation, i was refering to it as a bug, now it says shortcoming