posts:2012:2012.09.03_-_rigorous_logic_and_amelia