Armstrong’s axioms - Brain Spot