YAHAL_with_examples