martl TF: Principia Mac B