Generalizing that all bicycles have exactly 1 seat