A dolgozatban különböző lehetetlenségi állításokat bizonyítunk állapotjelző függvényeket használva. Ezek az állapotjelző függvények lehetnek invariánsak vagy monovariánsak.