$forall name <- names
• #{name} FIXME SYNOPSIS