O-series reasoning