complete_bigraph