draft post
FORMULATING ASSUMPTIONS
THREE LANGUAGES
- English: Smoking (X), Cancer (Y), Tar (Z), Genotypes (U)
- Counterfactuals:
| Zx(u) | = | Zyx(u) |
| Xy(u) | = | Xzy(u) = Xz = X(u), |
| Yz(u) | = | Yzx(u), |
| Zx(u) |  |
{Yz,X} |
Not too friendly:
Consistent?, complete?, redundant?, arguable?
4. Structural
