Logic, explained