ASK: Tag Proposal: logic-lang (by veqq)

#meta