Sounds like a list of edge cases just like any other area.

Myths programers believe about cars:

Cars in the same lane always travel in the same direction.

Each street has a name.

Each street has a unique name.

Each street has only one name.

Cars have four wheels.

Cars never move vertically.

Roads never move.

Roads never cross water without bridges.

When two roads cross, the do so at an intersection.

Take any field in human experience and one can make such a list.

All boats float. Ships are bigger than boats. Boats are slower than airplanes. Boats only travel on water.