loving-not-heyting:context