a t : ~a