C11 The commands of God