We should say what vc is. The person reading this file would be confused.