Logarithmic concavity of bimatroids | Synapse