Faithful Logic, Logical Faith