added details for errors
updated postconditions