implemented the forward part of proving to the caret