Tauchain (TML) - Partial Fixed Point Logic and it's unique benefits — Steemit