Acies Noctis - Derivative Function (170)

⋀⊆i∈S N⊙⊆tiS