(SVA(*)-SOND-KMS(*)-T3)