A theoretical analysis of insight into a reasoning task