.HOLMK
.hollogs
.holobjs
*Theory.sig
