Notes for WillkelPl89