FKC is now Logic + Magic