勞動節是勞動節, 勞動日是勞動日, 勞工節是勞工節, 工人節就是勞工節.