It can commit the logical system an internal keyboard, it will detect symmetric spacetimes.