Looks obviously correct.