3+4=7 proposition or not​