This morning I got a lot of help from my palmx member-friends at HUSM. We had a mini BTM and I got beamed with a few nice softwares from my friends.

However, we can't resolve one problem. My prayermind is not working due to mathlib problem.I got to find out how to get rid of my 'corrupted' software:-(