Discussion session on measure theory