Final Finite Sets Code