Turning battleships into coral reefs with FACTS and LOGIC