Adaptigng to the changesin spar semantics + proof going on.