We know that using Apalache efficiently requires a bit of experience. If you have been using TLC and want to try Apalache, feel free to ask questions here. Please ask general questions on TLA+ in the TLA+ User Group. The TLA+ User Group is much larger and it has a lot of active community members.