Always know where your abstractions break — LessWrong