The science of logic for everyone.