tentatively completed all 'down' functions