Predc with descibing symbol. For constraints to look appealing.