Implementation for Lispa