[Logic] Add useful method to goal logic.