part of 12-full-def