Eftersom Högsta domstolens avgöranden är bindande för de lägre domstolarna innebär dock detta i praktiken att lagen blir ogiltig , även om den inte blir det formellt .