actually we don't need extra-trans because the properties are explicitly stated