|-¬\