Search for a command to run...
Must be consistent with all available data
Must be testable
Must be correct
Must make predictions