Chargebay and Dataport logics