Hand crafted reified lemmas for assign, and started with write.