Updates to declareIntention and beforeinput