Simplified the is_example fact example a bit