@charlie_simpson @randomvariable we went through a lot of different ones to get a type we both liked.