abstractly equivalent