Fields of logic is now HERE