No examples, it's trivial