Delin-^P , of-predikan );