Implemented RightAdjunction