Email zadetek: Modeling Manic-Depression with Symbolic Logic