Implements #let