Hot: derive