Implement defends() and F(), rename A_{minus,plus} to just {minus,plus}