Toy example proven with holes, these should be formally showing some transitivity rules and upper bounds