Added the is_example fact as... example