input_ajd and normal form