Hot: decidability