例如一些假设性的前提条件常常被忽略