Vacuum Logic.