planning SymbolicMethod