Aqueous Logic