undefined undefined Exodus 20