Some more details of implementation