added predicating aux
added predicating aux