My tinkerings with PropEr