16:13:09beachI think I have a solution to the problem with discriminating functions. Tomorrow, I'll write down what I came up with. There are some messy details so I prefer a separate text rather than trying to stick everything in here. Plus, it gives me a bit more time to think it through.