Initial attempt at animating the not operator