pauli_hot_ (kyoto_yoko is offline)