silent mutation evidence used in manual assertion