抽象化から詳細を省略できるのは、本当に重要でない詳細を含んでいないときだけ