All elaboration tests OK