A Productive writer and checker