hade kommit att tänka på,