hot to def