ANALYTICITY AND IMPLICIT DEFINITION · Study