abstract identity