theory A = unknown: