Implement @has