EMPTY DERIVABLE FOR DEVELOPERS