Formal properties etc by Berckel