finset version finished