Simplified alpha memory and fact memory