Lights from darkness

binary relation