Before revision:  There are two main theoretical results ;
After revision:  There are two main theoretical results :