Hot: independence-declaration