inference of sequence features from visual inspection used in manual assertion