Part of Logic, revisited
transfer to remote machine