Make all properties in T optional
Success
From T, pick a set of properties whose keys are in the union K