export * from './ProofCompositionLaw';