ltlwriter – it s