Some small tweaks in the 'Special Predicates' section
Merging develop to fix small issues and get rid of duplicated section.