I usually________ to school at 7:00.
A:go
B:goes
C:went
应用反证法推出矛盾的推导过程中,可以把下列哪些作为条件使用( )
①结论的反设;②已知条件;③定义、公理、定理等;④原结论.