Implementation almost done. Missing operator application discussion.