I threw this together on a whim. I think I am on the right track here. I also found this paper Pierik, which defines and compares definition Behavioural and Relative Completeness. Alas, I am not equipped with the skills to interpret their definition :( -TK 04:49, 14 September 2008 (UTC)
