I'm the kinda guy that's mental, if I smack a chick in the mouth and she keeps smilin'.
Sometimes the questions are complicated and the answers are simple.
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.