Real, hypothetical, counterfactual, and mixed conditions using jestli, kdyby, pokud, and related structures.
