moving to executable fact pattern