3 ms·And then they laugh at naïve engineers who express hopes that laws can be a proper formal system.by drdaeman 7mo agoAnd then they laugh at naïve engineers who express hopes that laws can be a proper formal system.