This is fine since the only predicate we have at the moment is True.