Predc with descibing symbol. For constraints to look appealing.
Very appealing
Fix markup
Merge readme changes