är verkställd , deröfverutlärda