Calling external predicatesΒΆ