Goals in checking the machine