Author: Proof Tool Kit PTK