fixing pred-arg functions