Static Analysis by Mar+!A Alpuente