initial test structure, taken from core.logic