We want to define the [[tricategory]] $BiProf$ of bicategories and profunctors; we need to know what the following things are: 1. [[2-extranatural transformation]] 1. [[2-end]] 1. [[free 2-cocompletion]] and then we define $BiProf$ [[biprofunctor|here]].