Used Omega tactic on A4 and removed the silly hypothesis.