Added example of mainWith.