convenience function for satisfy