Alpha method_sub_equivalence.pod