VeraM2012: A morning nap