Dana's guide to formal language