Linear logic versus systemic clarity