Empty derive