12: Goal compilation

Goal Compilation