I would suggest not using any names that you didn't introduce yourself; it makes for less robust and harder-to-understand proof scripts.