$ETC code is law