a few more Rel2 properties