implementing/testing satisfy-criteria