E^^ω=E_2とかにすると強そう