(n.) Logic illustrated by physics.