Ar terminim teik manipuleits, izmontojūt sevkurus nūsacejumus (-ekvivaleņce, -redukceja, -konverseja), kas ir teorejis aksiomys i kurys var interpretēt kai skaitļuošonys (apriekina) nūsacejumus.