Working on VerboSpec