Logiikka toimii