$NOT

December 18, 2020
$NOT