theory A = unknown:
