Derivation of Minimal Mental Models