Okay, I get bimander encoding now.