"A Bit of Style" fully verified