For example, if it's true that it's raining, and it's true that I'm inside, then it's true that it's raining, and I'm inside.
Formally:
A B ∴ ( A ∧ B )
... covers the gyroscope inside it, except for a small round opening on top of it, which is where you can manually start the gyroscope. Once the gyro is spinning, tipping the ...