Precog logic