8 ^ E5 ^ 7?