specify type for easierness