proper binary