Bits of work on transporter logic