I noticed there isn't a NOT gate simulation model. It would be useful.