work in progress

proof for kitt / silas