The Logic Supergroup