If he worked harder, he _______

will be promoted

will have been promoted

had been promoted

would be promoted