==================== Strictness signatures ====================
T8569.addUp: <S,1*U><L,U>