Top Map
,
Rose Map
Derivable Rose Top