Product space/Vector space/Explicit/Exercise