aQ ^ p =: