skeletons for a theory module