ex05: theory 2a