det kompilerar i ff nu, men står goal can be simplified to FALSE, no plan will solve it