aContract ()