GitHub PR code review tips: if the code diff involve lots of indentation change, append ?w=1 to the URL to ignore indentation and other blank space changes. ywsing@2021-10-23T03:13:32.862Z _____ Getting current timestamps: node -e "console.log(new Date().toISOString())" _____ @Test public void testCase() { test(5, "define i := 4 ~ case || (i = 0) => 1 || (i = 2) => 3 || (i = 4) => 5 || 6"); } _____ Two pages work of F. Y. Sing on Cosine formulae https://teams.microsoft.com/l/meetup-join/19%3ameeting_NjhjMjhkODgtZTBlYy00YTAzLWI4ZGQtYmZkZjI1NTQ5Yjcz%40thread.v2/0?context=%7b%22Tid%22%3a%22d4a3d08f-1d3a-4648-b5ea-92cdf8305f67%22%2c%22Oid%22%3a%222f215770-5a3a-4457-afc2-fdee0b04f739%22%7d