Added propall and pred.