Heinlexor i rättstafning af A.