Hi, this is the long abandoned blog of Ioannis Fraskos, but thanks for checking.