Text this: Diagonal method and dialectical logic :