deferred class PARENT
feature
	is_valid: BOOLEAN
		  deferred
		  end
end