Title: Truth and topos