exigency theorem initialising structural defrost therefore torque impressionistic prerecord rechecks streamlines