FundamentalDiagram extensions complete
FundamentalDiagram extension and spec