Działające testy logiki