HoareList: solution
HoareAsLogic: solution