the "otherwise if" approach does not really work. IMO for each item you have to be able to put "More formally, a given executable (constructor or method) is validated upon execution:", but it doesn't work