random mutagenesis evidence used in manual assertion