Missing proof in virology