ket3: now I’m just being ironic