quaternary computational systems