added a post condition