Comment by angersock

They are system-design principles, and one can consider that the TSA folks are Turing Complete, therefore the laws apply. Q.E.D.

Don't assume that they don't carry.