richard jensen