Implement bases of core and non-core variables