You are reporting Well ForAll