Thanks, Josh! Is it hard reading? Once I've written it, I realized that probably it is quite long (it was even longer with logical trees included, which were thrown out at some revision). I was thinking to split it in two parts, but now it's as it is.