🪄
🤌
🎅
'👁️'(P, [H | T]) -> case P(H) of '✔️' -> {'⚖️', H}; '❌' -> '👁️'(P, T) end; '👁️'(P, []) -> '❌'.
🔣
'🆘👀🍎🌈💿️❤️'(P, [H | T]) -> case P(H) of '🦖🌈🦄👀' -> {'✌️🍎🦙🦄👀', H}; '🔥🍎🦙🆘👀' -> '🆘👀🍎🌈💿️❤️'(P, T) end; '🆘👀🍎🌈💿️❤️'(P, []) -> '🔥🍎🦙🆘👀'.
'👁️'(P, [H | T]) -> case P(H) of '✔️' -> {'⚖️', H}; '❌' -> '👁️'(P, T) end; '👁️'(P, []) -> '❌'.
'🆘👀🍎🌈💿️❤️'(P, [H | T]) -> case P(H) of '🦖🌈🦄👀' -> {'✌️🍎🦙🦄👀', H}; '🔥🍎🦙🆘👀' -> '🆘👀🍎🌈💿️❤️'(P, T) end; '🆘👀🍎🌈💿️❤️'(P, []) -> '🔥🍎🦙🆘👀'.