设m，n是两条不同的直线，α，β是两个不同的平面，给出下列命题：

①若α∥β，m⊂β，n⊂α，则m∥n；

②若α∥β，m⊥β，n∥α，则m⊥n；

③若α⊥β，m⊥α，n⊥β，则m⊥n；   

④若α⊥β，m⊥α，n∥β，则m∥n．

上面命题中，所有真命题的序号为______．

软件文档不仅是软件开发各阶段的重要依据，而且也影响软件的( )。

A．可维护性

B．可扩充性

C．可移植性

D．可用性