wip
refl
all but trans and implies