Hot: inner-dimension