Created elaborate example without semantics errors.