caching constraints for abs