Patterns In Contexts Formalized EPISTEMOLOGY -- PICForm