Hot: mathematicalinterfacequantumconstruct