⊢⦷"foot" "football" # 1