An Aristotelian theory of comedy, with an adaptation of the poetics and a translation of the Tractatus coislinianus