Astn » b a?