20 is fine. The simplification can still be used by replaced 20 by 40.