seqan 1.4.1: New formula