Pikachu Logic for UNIX