Removed :ders from contexts. asserted? now determines if a term is in a context by checking if the terms origin set is a subset of the context's hyps. Removed origintag throughout.