first logic prototype