Dimensional reduction of type-II superstrings | Synapse