Penal_substitution loading ...