All versions from all sets for Deduce

All versions for Deduce