Then how come it is not solved already, shouldn't be hard to prove when someone is lying.