あー、そこがassertとpreconditionの違いになるのか。