Writes about formal methods