Tacit Logic