Fixed double abstract for Michal