oddaxiom is following