Propositional Calculus Verification Microevolution 由 Independent 于 2022年1月18日 发行，作为专辑“Level Four”的一部分。
BPM
旋律性
歌曲的曲调是否清晰易记，是否遵循了明确的音乐模式。旋律性强的歌曲一般具有清晰、令人难忘的器乐或声线。
不插电
衡量一首歌曲对不插电乐器（例如钢琴、吉他、小提琴、鼓、萨克斯）而非电子或数字合成的依赖程度
Valence
通过歌曲的和声和节奏成分，传达的音乐积极性或情感基调。高情感值与幸福、兴奋和愉悦的感觉相对应，而低情感值则与悲伤、愤怒或忧郁有关。
舞蹈性
综合各种因素，包括节奏的稳定性、节奏模式和节拍重点，来确定一首歌曲是否适合跳舞。一首“适合跳舞”的歌曲可能具有稳定的节奏、重复的音乐结构和强烈的重拍。
能量
曲目的感知强度，可能受节奏、动态和音乐紧凑程度的影响。一首高能量的歌曲可能节奏欢快、乐器编配丰富，而一首低能量的歌曲则可能音乐编配简洁、节奏较慢。
