Logical revelations