I think both of these can be final