Variable Binding with CAs Oultine