derivation-example-iterated-quantifiers.mp4