a t * IsImma