are those declarations now redundant?