Leibniz Binary Subsystem

Leibniz Binary Subsystem