there are many small examples