See https://github.com/LimitPointSystems/SheafSystem/issues/2
See LimitPointSystems/SheafSystem#2