extended #5.1.1