Formelt kan man jugifva