Prowriting in Sudowrite