How can you be ‘not sure’? Paul is wrong - period.
Paul is correct
§ 1481. Loss of nationality by native-born or naturalized citizen; voluntary action; burden of proof; presumptions
(7) committing any act of treason against, or attempting by force to overthrow, or bearing arms against, the United States, violating or conspiring to violate any of the provisions of section 2383 of title 18, or willfully performing any act in violation of section 2385 of title 18, or violating section 2384 of title 18 by engaging in a conspiracy to overthrow, put down, or to destroy by force the Government of the United States, or to levy war against them, if and when he is convicted thereof by a court martial or by a court of competent jurisdiction.
http://www.law.cornell.edu/uscode/html/uscode08/usc_sec_08_00001481——000-.html