In Some cases, the redundancy of the first não ends in its omission, which makes BP a possible example of Jespersen's Cycle: Some other bus providers which have been known for being actively hostile to bikes (by asking for rigid scenarios, "nota fiscais" and further charges) are Eucatur and Expresso https://gvlauracf.jts-blog.com