R_v_Richards_(Isabelle) loading ...