All tests working up to sec.5.1