abstract class Person {
	string Name { get; set; }
	void Write();
}

class Student : Person {
	public void Write() {

	}
}

// this is valid
Person p = new Student();
p.Write();