obvious without proof 4 7 letters