\ HV \ Äbt & attV^tAx