Logic[

250 __ $aLogic[
299 __ $aLogic[