Makes the trivial predicate match with other als.