Hot: precondition