epsilon bow strings
string break less under string break
proof string strings ___