Arbiter

fun Arbiter(a: TranslatableBody, b: TranslatableBody)