Logic.