Can that not also be inferred?