# Lamp 1 derivable