Two of these variables have fixed values, so we can make that
immediately obvious from the get-go.