$FHE garbage stuff