Example: TXC bound to 4AQL