Seol mar théacs é seo: Logical modeling of biological systems /