Example: TP0 bound to 3APV