After a number of requests, I have written up a proof that every biequivalence in Bicat is part of a biadjoint biequivalence. It can be found at the following address. http://gauss.math.yale.edu/~mg622/biadjdraft.pdf The result still holds in a general tricategory and I am in the process of writing up the full proof. Nick