Gates [ArcSimp] Demonstration of an 'and' gate