The following seem to be good: