[ ¬y¹L ]
