Updated the abstract
Better example for the failure of classical logic inside a topos