Added more to proof for new "basis"