my solutions of htdp2e