Re write SIMPKB