Hot: implies