$NOT seems like we are going down