If aTm holds on