Hot: satisfies