“rajon test” normal form to conv form