restriction fragment detection evidence used in manual assertion