added equiv test, started on entails test