โ›บ
๐Ÿ”— โš™๏ธ

below from ACL2 by Maslab