Hot: value-formula