Proposition about work