Added markdown starting to desribe the functionality of Conditional KIF