--init became --initialize (longer, harder)
more precise --verify outputs