Additional menu

existence of active constant laws