desegmentation mostly working
failing verification