use explicit atom definition