Added acceptable tactics from Jason
Strong funext from weak