unimplemented universal context, altered grammar, implemented pre-solving queries