Sannolikt har deras tankevarit