0j : Validity of a module